c do while loop example